分次环/分级环:一种带有“按次数分层”结构的环。它可以写成直和分解
[
R=\bigoplus_{n\ge 0} R_n
]
并满足乘法与分次相容:若 (a\in R_m)、(b\in R_n),则 (ab\in R_{m+n})。其中 (R_n) 的元素常称为齐次(homogeneous)元素;(n) 称为其次数(degree)。
(在数学语境中最常见;在某些书里也会讨论允许负次数的 (\mathbb{Z})-graded ring。)
/ˈɡreɪdɪd rɪŋ/
A polynomial ring (k[x,y]) is a graded ring by total degree.
多项式环 (k[x,y]) 可以按总次数分次,因此是一个分次环。
In algebraic geometry, the homogeneous coordinate ring of a projective variety is a graded ring, and its grading encodes geometric information.
在代数几何中,射影簇的齐次坐标环是分次环,其分次结构会编码重要的几何信息。
graded 来自 grade(等级、层次),表示“分层/分级的”;ring 是抽象代数中的“环”。合起来表示“带分级结构的环”,强调元素被按“次数/度”分到不同层,并且乘法会把次数相加。